:- module(passive_check2,[passive_check2/0]).
:- use_module(library(chr)).

:- chr_constraint a/1, b/2.

:- chr_option(debug,off).
:- chr_option(optimize,full).

a(X) # ID, b(X,R) <=> R = 1 pragma passive(ID).

passive_check2 :-
	a(X), b(X,R), R == 1.
