public override void ExitRule(IParseTreeListener listener)
{
IGravisListener typedListener = listener as IGravisListener;
if (typedListener != null)
{
typedListener.ExitIf_def(this);
}
}