when using the #external-directive in combination with reification in clingo, I noticed a discrepancy that I cannot explain. Here is a minimal working example.