Module Prop.CategorizePreconditions

type pre_category =
| NoPres
| Empty
| OnlyAllocation
| DataConstraints
val categorize : 'a t list -> pre_category

categorize a list of preconditions