The existing design control covers quite a lot in terms of usable syntax and logic errors but it is limited with best practice checking. There should be a base set of configurable best practice controls set up based on peer review documents.
Example controls:
Overcomplicated pages - Check for X number of stages.
Stages that could be sub-pages - Check for duplicate named sequences of stages.
Possible infinite loops - Check to ensure a decision stage exists between a set of links that go backwards.
Attach stages at the beginning of actions - Check for an attach after a Start stage
These are just some possible controls. Rules should be developed based on the existing peer review checklists on the portal. Organisations should have some flexibility in modifying the controls and increasing/decreasing thresholds based on their own needs.