Folly.Resolution

isValid

isValid'

standardSkolem

maxClause