More cardinality propagation.
Minor changes.
Fixed PropSetUnion.isEntailed