Add function Term_def.define_ground_terms