A closure for an exec statement in an alternative, iterated or subpattern,
containing the entities needed for the exec execution.
These exec are executed at the end of the rule which directly or indirectly used them,
long after the alternative/iterated/subpattern modification containing them has been applied.
The real stuff depends on the xgrs and is generated, implementing this abstract class.