1 (*Dummy theory to document dependencies *)
2
3 func = "domrange"
3 func = "domrange" + "equalities"