Up to this point, only pFaces v1.2 and before are supported

a version with a complete working STRIX used in the ltl2dpa library