From looking at the mCRL2 PINS mapped B eqiv