big-step semantics coincides with small-step semantics