}
final OperatorImpl copy = (OperatorImpl) operator.clone();
Structure struct = new Structure(copy.getFunctor());
for(Term term : termInstances) {
struct.addTerm(term);
}
Unifier unifier = new Unifier();
if(unifier.unifies(copy, struct)) {
copy.apply(unifier);