Added shortcircuit if no branches were modified