Elaborator: make flexiProof try different possibilities for solving constraints
Elaborator: make flexiProof try different possibilities for solving constraints

mietek/epigram2,larrytheliquid/pigit,mietek/epigram2