class AA create make feature make local b: BOOLEAN do b := f end f alias "()": BOOLEAN do end end