Merge "optimizing: propagate type information of arguments"