I thought about what should happen then.

The scenario would be that something which looks like catkin is in the workspace does not behave like catkin. I would say it should be ok if the following include will fail?