Added semantic control for logical operations
Added while loop translation