Merge back semantic result in originalType
Use postfix style for function attributes
[Refactoring] trustToBuffer
+++