Ignore refinement when unreachable