525354555657585960
} catch (IOException e1) { throw new IllegalStateException(e1); } catch (InvalidTheoryException e2) { throw new IllegalStateException(e2); } TuPrologModel model2 = new TuPrologModel(engine); return new RedundantModel(Arrays.asList(model1,model2)); }