It is not clear whether contribution statements should be allowed as part of initial conditions like initial_step .The current BNF restricts the use of contribution statements in this context.
Contribution statement inside loops. Should this be allowed? Current LRM disallows using contribution statements in loops.