Checking if proc. inst. ID is provided