icse15: Fix counterexample highlighting with compartments