Because we only checked for Or's instead of checking for Ands this did not cause any issues except when printing the CFG