IVC and MCS bugs

[Jabe03]

Changed:

• Added missing enum value for modelSetEnumeration
• Made it so that, when the JSON is parsed, cases where we have postAnalyses with no prior analysis means that there was no prior analysis due to there being no properties to check.

Comments

• The proper fix for the error handling (now ignoring) may not be at the java API level, but at the Kind 2 level.
  • Maybe we should not emit the empty postAnalysis at all?
• The modelSetEnumeration is the proper fix. We need to have that enum value in the Java code.