Minor modification to IMP-extensions for big-step semantics