@Override
protected ScribNode envLeave(ScribNode parent, ScribNode child, ScribNode visited)
throws ScribbleException {
visited = visited.del().leaveProjection(parent, child, this, visited);
return super.envLeave(parent, child, visited);
}
@Override
protected final void envEnter(ScribNode parent, ScribNode child) throws ScribbleException {
super.envEnter(parent, child);
child.del().enterProjection(parent, child, this);
}