Incorrect result when cutting a model with another model

I'm using the boolean cut operation to find what changed between 2 models.

This mostly works, but there are a few cases where the results are incorrect.

To be more specific, it shows that all the model has changed when I know that's not the case. See attached image.

This is basically how I'm doing the cut operation:

BRepAlgoAPI_Cut aBuilder;
TopTools_ListOfShape arguments, tools;
arguments.Append(shapeA);
tools.Append(shapeB);
aBuilder.SetArguments(arguments);
aBuilder.SetTools(tools);
aBuilder.SetRunParallel(Standard_True);
aBuilder.SetNonDestructive(Standard_True);
aBuilder.SetUseOBB(Standard_True);
aBuilder.SetToFillHistory(Standard_False);

I also tried these 2 parameters:

aBuilder.SetGlue(BOPAlgo_GlueShift);
aBuilder.SetFuzzyValue(1e-7);

The Glue parameter can accelerate the cut in many cases, but it doesn't help here. And setting the fuzzy value to higher values makes the cut slower.

Other things I've done: Checking the 2 models with BRepCheck_Analyzer and fixing with ShapeFix_Shape, as well as using ShapeUpgrade_UnifySameDomain. None of it helps.

The only thing that seemed to help initially was calling BRepBuilderAPI_Sewing. But this turned out to be because it was converting the models from Solid to Shell. So it gave results, but the result was just the surfaces that changed, and not the volume. (Also, making a solid again from the shell just reproduces the original problem)

In conclusion, I'm looking for a robust way to get the change in a part like this, while having my other cases working as well.

Attaching the Step files for the models in the images. "cut wrong.png" shows the result of cutting model 1 with model 2, and viceversa on the side. You can see that everything is colored, meaning that the cut returned the entire model. "cut right-ish.png" shows something close to the desired result. Only the actual differences are colored. This sample was produced using the Sewing fix, but you can see on both sides that they are surfaces, and not solids, what's produced. "simple example.png" is just another simple pair of models that work as expected, for reference.