cache does not include souper calling args in the key

[Javier Cabrera]

Hi all

I ran souper twice over the same LHS with two different arg sets:

• (No results)
• souper-infer-iN (Some successful replacements)

However, doing the same experiment using an external cache: souper returns the first result for both configurations. Looking into the code, I think the issue is here, souper is storing the key as the LHS and the arguments in the souper call are not included. Therefore, even when there is a better solution (with another configuration), if there is a previous solution, souper will use the stored one.

Hope this helps

Thanks in advance