Corrects postconstraint for simple modification test