Adds handling for menclose to semantic tree.
Adds cancellation rules.