in owners/src/main/java/gerrit_owners/PRED_file_owners_2.java [55:66]
public Operation exec(Prolog engine) throws PrologException {
engine.setB0();
Term a1 = arg1.dereference();
Term a2 = arg2.dereference();
if (a1 instanceof VariableTerm) {
throw new PInstantiationException(this, 1);
}
if (!a2.unify(createFormattedList(engine, a1), engine.trail)) {
return engine.fail();
}
return cont;
}