CTL to CTL^f conversion includes input variables from fairness constraints
NuSMV can handle input variables in fairness constraints, but not in CTL/CTL^f specifications. But the conversion process does also include constraints with input variables. This results in an invalid property.