Vaccum pump problem ?
 

I have a 94 idi turbo since I got it the brake light will randomly come on then go off unread that's a sign the vacuum pump is going bad but is the sensor that looks like a map sensor and has a vaccum line next to it is the sensor for the vacuum pump right ? That's what I read. Anyone with knowledge about it let me know thanks