Move range check in Assign Expressions into assign analysis function
Refactor expression nodes creation
Moved fix_expression_types call into binary expression analysis function