Added a precondition annotation for set commands using
@precondition(methodName)