let rec pp_justification fmt j =
  if !print_justification then
    begin
      Jst.pp fmt j;
      Format.fprintf fmt " |- "
    end;
  Format.fprintf fmt "@?"
    
and print_justification = ref false