A
        B
        C #FF0000  // we style it to make it more important in image comparison
if(x) {
  loop(y) {
    try {
      par {
        A.m();
        B.m();
      }
    } catch(e) {
      opt {
        new C
      }
    } finally {
      C.m
    }
  }
}