Checking if proc. inst. wrapper is available