docs: protected final void verify() {
          collectInitialisers();
          verifyCandidates();
          verifyInitialisers();
          collectPossibleInitialValues();
          verifyPossibleInitialValues();
          collectEffectiveAssignmentInstructions();
          verifyEffectiveAssignmentInstructions();
          collectAssignmentGuards();
          verifyAssignmentGuards();
          end();
      }