impose once semantics on fabricated closures for e.g. loops