con.commit();
// now we remove the rule2 (symmetric rule) from the program, update the program in the database and then
// inform the reasoning engine about the removed rule
Program p = rcon.loadProgram("simple");
Rule removed = null;
Iterator<Rule> it = p.getRules().iterator();
while(it.hasNext()) {
Rule r = it.next();
if(r.getName().equals("rule2")) {