Statck machine code change
added proof of and a b = or a b -> a = b