Solver supports trampoline.