General
Module: anti-unification
Module: check-cxn
Module: construction-inventories
Module: construction-inventory-processor
Module: fcg-light
Module: monitoring
Module: parse-and-produce
Module: tests
Module: unify-and-merge
Module: fcg-light
Module: monitoring