Simplified ASTAnalyzer a lot because the code was much too complicated to implement more fine-grained handling immediately.
Got rid of duplicate USE/DEF edges from statement nodes.
We now have condition-nodes inside conditional expressions. Also, these nodes have uses-edges.