AePPL and variables defined by a loop

Links to this note