Method add

problem.py:110–111

(self, name: str, args: list[str])

    return Clause(points0, [c.translate(mapping) for c in self.constructions])

  def add(self, name: str, args: list[str]) -> None:
    self.constructions.append(Construction(name, args))

  def txt(self) -> str:
    return (