Fortress

При создании объекта Constraint с помощью вызова метода ConstraintBuilder.build() требуется подать на вход билдеру Node-выражение (с помощью метода setInnerRep) и набор деклараций переменных (с помощью методов addVariable\addVariables). Это не всегда удобно и, отчасти, избыточно, т.к. информация об используемых переменных уже, по сути, хранится в объектах класса Node.

Предлагаю реализовать создание Constraint с возможностью не указывать переменные. Т.е. если билдеру не дали ни одной переменной, то он должен выполнить обход Formulas и достать оттуда декларации переменных самостоятельно.