NuSMV-PO/helpers
