Automated reformulation of specifications by safe delay of constraints