renamed StateUnmodifiable Visitors