changes for review comments in OCRA

refs 3090

org.fortiss.af3.specification/trunk/src/org/fortiss/af3/specification/modelchecking/af3tonusmv/OCRAAnalysis.java

@@ -79,6 +79,10 @@ public class OCRAAnalysis {
 		NuSMVResult res =
 				OCRARunner.checkContractComposition(mca.getTransformedComponent(),
 						mca.getTransformedContract(con));
+		if(res == null) {
+			System.out.println("OCRA Result is null;");
+			return null;
+		}
 		return mca.constructResult(res);
 	}