attempted to model rule AvoidBranchingStatementAsLastInLoop ; Need to think about patterns that match lists of Nodes