Addressing comments on the NullabilityCheck.
    - changed the structure of junit tests
    - removed the Helper static class
    - removed the visited 'global' dependency for getReachableNT method
    - improved a bit the work-list main loop (hope is more clear this way)