Updating Big Step semantics