diff -r 5e2d381b0695 -r b5e0909cd5ea src/HOL/Tools/Function/scnp_reconstruct.ML