Add new test proof
Fix FOLowerUnits bug

Order of premises to resolution should no longer matter