added major speedup via adding implication check to branch conditions as well as loop heads