(instance variable version)

In any method M attached to a class C the first message sending argument
must be an instance variable or argument.

(send (send a ':m1) ':m2)

For repetition classes we are allowed to send a message to elements 
of child or an argument.

R ~ {S}.