ychr-0.1.0.0: test/golden/false_guard/false_guard.chr
:- module(false_guard, [test/1]). :- chr_constraint test/1. blocked @ test(R) <=> false | R = blocked. fallback @ test(R) <=> R = ok.
:- module(false_guard, [test/1]). :- chr_constraint test/1. blocked @ test(R) <=> false | R = blocked. fallback @ test(R) <=> R = ok.