Add function Term.is_ground