Merge "Revert "optimizing: propagate type information of arguments""