Fixed a typo in the test system definition and made the checks for initial declarations stricter.