Scheduler: resume on WaitSolve checks lambda-lifted solution for equivalence
Scheduler: resume on WaitSolve checks lambda-lifted solution for equivalence
brixen/Epigram,kwangkim/pigment,kwangkim/pigment,kwangkim/pigment