let get_predicate name = try Hashtbl.find declared_predicates name with _ -> raise_error ("Predicate '"^name^"' not declared in hashtbl")