require Hashable instance for constraint handlers
maintain an occurence list for each literal
implement backward subsumption removal
Merge branch 'backward-subsumption-removal'