Class StatefulVisitor.StateControl