altered additional_cond() to be more precise; Error: false negative at testcase4
fixed the false negative calsed by additional_cond(); TODO: cond(e0==e1)