Addressing comments on the NullabilityCheck. #2
    - moved isNullable check in primitive state.
    - fixed visited not being updated on visiting a new state.