done static checker for the assignment statement, yet to revise cz done in chaotic env