Scheduler: resume on WaitSolve checks lambda-lifted solution for equivalence
Scheduler: resume on WaitSolve checks lambda-lifted solution for equivalence

larrytheliquid/pigit,mietek/epigram2,mietek/epigram2