added reduction rule for MACROS to the verification of NuSMV
Merge remote-tracking branch 'origin/master'

Conflicts:
	code/languages/com.mbeddr.analyses/tests/test.ts.analyses.statemachine/test/ts/analyses/statemachine/generation.mps