Function R removd. Not applicable in NuSMV.