small fix in a non-typesystem rule
Merge remote-tracking branch 'origin/master'

Conflicts:
	code/languages/com.mbeddr.analyses/tests/test.analysis.nfm/models/function_verification.mps