Defining the function
foo(a, b) := apply(\'assume, [a < b])$
do
facts(); -> [] foo(0, a); -> [inconsistent] /*