CurryInfo: verify-non-fail-2.0.0 / Verify.ProgInfo: all operations

addModInfoFor arityOfCons completeBranchesInFunc consInfoOfTypeDecl consInfoOfTypeDecls emptyProgInfo getFlatProgFor getModInfoFor getTypeDeclOf hasModInfoFor infoOfCons isCompleteConstructorList miCInfos miFTypes miProg prog2ModInfo progInfos readTransFlatCurry removeTopForallType siblingsOfCons transformChoiceInProg