Added exception to Scall. Now we no longer need the _ case in semantics!