build a new "is_from_core".
fixed junction ops, fixed is_from_core, added %!foldable_junction
the optimisation works for while/until, too.