TransferFunctions.DisjunctiveConfig
val join_policy : [ `UnderApproximateAfter of int ]
val widen_policy : [ `UnderApproximateAfterNumIterations of int ]