the following incorrect solution is given for the spec:

=============================================================
---------------------------
State component: models/foo/A (type: A)
{ (A_2)  }
=============================================================


furthermore, an inspection of the tree reveals that the condition
#A + #B = 2 is met because the atom A_2 is in both A and B (??).

fix: the problem was null leaf ids related to a bug in
GenCommandFormulasVisitor, now fixed.
