/********************************* Snapshot comparison test *************************************/
void MC_test_snapshot_comparison(void);
+/* Trigger for state equality detection (check potential cycle in application) */
void MC_compare(void);
SG_END_DECL()