fixed bug where not taken smt branches were not handled correctly