Single-path implementation of if-statements during value propagation, simple stack simulation during value propagation, multiple variables in a single set statement, direct representation of int and uint values, pass 'Request' values to binary.tul