f.call() inline support
Better expression  aliasing need check
Better this replacement