@Override public void visit(MapLookup mapLookup) { mapLookup.map().accept(this); mapLookup.key().accept(this); visit((Term) mapLookup); }