Don't calculate abstraction for >100-long clauses