forAll package:membership

Every element in xs satisfies c
HACK: Without this, the constraints are not propagated well.