}
// 1. Add the near and conn predicates that are given as facts first:
for (FaspConstant t1 : town) {
for (FaspConstant t2 : town) {
if (distances.containsKey(new Pair(t1, t2))) {
varOrder.add(createRegLiteral("near", t1, t2).toString());
varOrder.add(createRegLiteral("near", t2, t1).toString());
varOrder.add(createRegLiteral("conn", t1, t2).toString());
varOrder.add(createRegLiteral("conn", t2, t1).toString());
}