NuSMV-PO/src/compile
