Double checking if case is found by proc. inst. ID