Implemented the muRascal 'guard'.