Display fairness constraints
Since JUSTICE/FAIRNESS is ignored for model checking CTLFSPEC, it would be nice to print the fairness conditions for ordinary CTLSPEC specifications in the output; for example it could be done in https://gitlab.cs.fau.de/qu02wobo/NuSMV/blob/master/NuSMV/code/nusmv/core/mc/mcMc.c#L1224