#424 Checker for verifying automata counts.

Merged Albert Hofkamp requested to merge spec-check-aut-counts into develop

Addresses the Cif to PLC conversion at least.

Merge request reports