Debugging TO_OR_CIRCUIT bug