With declarations such as ` include_dp(topology);' the user must declare which decision procedures are to be incorporated into a program. All the necessary functions will then be loaded.
