Functionality for bounded resolution, and application to xor-examples.