valB (Neg b)     s st = ((not x),st1)  where (x,st1) = evalB b s st

evalB (Neg b)     s st = ((not x),st1)  where (x,st1) = evalB b s st
evalB (Neg b)     s st = ((not x),st1)  where (x,st1) = evalB b s st