New optimizer: inline safe macro calls