Modified the semantics of the muRascal 'terminate' (for now, let it
play a role of a failure).