Refactor S2L in LTO

This is to resolve a bug when S2L failed due to mismatched pattterns.
In this case, we cannot remove the stack frame for the conservativeness.

Author: houjenko