reformat code
pred and next AST elems determination now tail recursive
fix bug in previous pred succ optimization
run typecheck in canalysisfrontend with real feature model
add first implementation of reaching defintions implementation
add reaching definitions test