let () = Bisect.Runtime.init "expr_ifthen.ml"
  
let () =
  (Bisect.Runtime.mark "expr_ifthen.ml" 2;
   if true
   then (Bisect.Runtime.mark "expr_ifthen.ml" 1; print_endline "abc")
   else (Bisect.Runtime.mark "expr_ifthen.ml" 0; print_endline "def"))
  
let () =
  (Bisect.Runtime.mark "expr_ifthen.ml" 7;
   if true
   then
     (Bisect.Runtime.mark "expr_ifthen.ml" 4;
      print_string "abc";
      Bisect.Runtime.mark "expr_ifthen.ml" 3;
      print_newline ())
   else
     (Bisect.Runtime.mark "expr_ifthen.ml" 6;
      print_string "def";
      Bisect.Runtime.mark "expr_ifthen.ml" 5;
      print_newline ()))
  

