Visitor for reachability and termination

[Nielswps]

A visitor checking if-else and while constructs for reachability and termination. Should also check that functions return and that function calls are reachable and returns/terminates as expected