% AND-par "flow analysis" regression: independent deterministic user predicates
% should run concurrently when flowlog_parallel_and is enabled.

:- set_prolog_flag(flowlog_parallel_and, on).

complex(I, O) :-
  $flowlog_sleep_ms(250),
  O is I + 1.

merge(A, B, O) :-
  O is A + B.

doubleComplex(I, O) :-
  complex(I, A),
  complex(I, B),
  merge(A, B, O).