declare makeExprs and isEqual in findSolutions function