Input type
type SatInputs = enumeration(pFZ "p,F,Z", TFZ "T,F,Z", pFZ_mole "p,Fm,Zm", TFZ_mole "T,Fm,Zm", pFN "p,FN,N", TFN "T,FN,N");