Fixed not adding a possible action with a variable in the postcondition