1:- use_module(library(mcintyre)).    2
    3:- if(current_predicate(use_rendering/1)).    4:- use_rendering(c3).    5:- use_rendering(graphviz).    6:- endif.    7
    8:- mc.    9:- begin_lpad.   10saved:- 
   11  time_comp_1(T),
   12  {T<0.75}.
   13saved:-
   14  time_comp_1(T1),
   15  time_comp_2(T2),
   16  {T1 < 1.25},
   17  {T1 + 0.25 * T2 < 1.375}.
   18time_comp_1(T) : exponential(T,1).
   19time_comp_2(T) : exponential(T,1).
   20:- end_lpad.