Add nondeterministic bool function