- refactor to use a variable vs a collector/override
- document parameters a bit more verbosely
- remove empty unconstrained fact