let \1 : "a" if \equals(\1 "a") : \1 else "\1" : "x" end if let \1 : "b" if \not(\equals(\1 "b")) "\1" : "x" else : \1 end if