intermediate commit: pipeline works for converting to NuSMV, progress made on the template but more work still needed