1) debug info is removed;
2) a once-used variable is inlined