TransferFunctions.DisjunctiveConfig
val join_policy : join_policy_t
val widen_policy : widen_policy_t