docs: def p_domain_list(self, p):
          '''domain_list : domain_list type_section
                         | domain_list pvar_section
                         | domain_list cpf_section
                         | domain_list reward_section
                         | domain_list action_precond_section
                         | domain_list state_action_constraint_section
                         | domain_list state_invariant_section
                         | empty'''
          if p[1] is None:
              p[0] = dict()
          else:
              name, section = p[2]
              p[1][name] = section
              p[0] = p[1]