assign r1 r2 | r1 == r2 = []
             | otherwise = [ASSIGN r1 r2]
assign r1 r2 | r1 == r2 = []
             | otherwise = [ASSIGN r1 r2]
assign r1 r2 | r1 == r2 = []
             | otherwise = [ASSIGN r1 r2]