renamed equivalent_to, fixed bug with identity of unconditionals, fixed parsing of unconditionals
more tests