Termination check disabled for natural semantics.