Teach DSE to eliminate useless trampolines.