let get_fd_relation (arity: int) : symbol =
  let name =
    "__fd_r" ^ string_of_int (arity - 2)
  in
  let pretty =
    "r_"
  in
    create_symbol FD_Relation name pretty arity