MakeDisjunctive.DConfig
val join_policy : TransferFunctions.join_policy_t
val widen_policy : TransferFunctions.widen_policy_t