Add operational semantics of WHILE