/vendor/varisat/src/clause/