add extra FSM explanatory comments to TestIssuer