add and delete preconditions to merit