norm ExpA (SeqE (BindE v tau m1 m2) m3)            = norm ExpA (BindE v tau m1 (SeqE m2 m3))
norm ExpA (SeqE (BindE v tau m1 m2) m3)            = norm ExpA (BindE v tau m1 (SeqE m2 m3))
norm ExpA (SeqE (BindE v tau m1 m2) m3)            = norm ExpA (BindE v tau m1 (SeqE m2 m3))