move syntactic termination proof control logic to Master.h
builds against release_33
add simple loop constraints
add simple loop constraints
add someTermCondOnEachPath support
add assumeImplies support
add support for weak-cf
fix some termcond on each path