eqrel doesn't work well with provenance

[DerZc]

Hi,

Consider the following program:

.decl ytfh(A:float)
.decl bkbi(A:float, B:float) eqrel

ytfh(1).

bkbi(E, E+1) :- ytfh(E).
.output bkbi

I execute with the command souffle -D- --disable-transformers=ExpandEqrelsTransformer example.dl
and get the result

---------------
bkbi
A       B
===============
2       2
2       1
1       2
1       1
===============

But if I execute with provenance souffle -D- -t none --disable-transformers=ExpandEqrelsTransformer example.dl
I get empty result

---------------
bkbi
A       B
===============
1       2
===============

But provenance should not modify the result.

The version of Souffle is 3cd802d