fix StatePropertyVisitor