typedef int PK_MFIN_index_t; This type identifies a particular mfin of an mfacet.
PK_MFACET_ask_mfacet_adjacent PK_MFACET_ask_mfin PK_MFIN_ask_mfin_index
It can take values: 0, 1 or 2.
