big refactoring:
moved everything ast related into package boogie.ast and moved cfg and
loop related stuff including loop detection into boogie.controlflow.