added more sema for EQUIVALENCE stmt