Produce fair Kripke when loading DVE file
When loading a DVE model, we are (sometimes) unable to detect the process that progress. Thus we cannot check fair properties on these models. In the code attached, we cannot express that P or Q progress. We could directly inherit fair kripke to annotate transitions. file.dve