small-step semantics: imprecise exception semantics, evaluate under
case-statements