[ew:uml] Add generator association to SpecificationChecker
[ew:uml] Add generator association to SpecificationChecker

- FormulaGenerator itself depends on Formula now

team-worthwhile/worthwhile,team-worthwhile/worthwhile