Update examples/Boolean.disco