NuSMV-PO/src/prop
