Changed behavior of the ASTFactory:
- now single statements can be 'add'ed to BranchNodes and LoopNodes
- addLoopNode needs an explicit call to addBlock() just like BranchNodes