Added postconstraint check (fails atm)