Warning for different terms with same name

[woosh]

When running the test case regression-tests/toh-contract-translation/multadd-1.c the following warning is issued

Warning: The following clause has different terms with the same name (term: b:12)
main_12(@h_post, a_post, b_post, result_post, a_init_post, b_init_post) :- main39_3(@h, a:11, b:12, result:13, a_init:14, b_init:15, a:11, b:12, result:13), addTwoNumbers_post(@h, a:11, b:12
, result:13, a_init:14, b_init:15, a:11, b:12, result:13, @h_post, a_post, b_post, result_post, a_init_post, b_init_post).

The test passes, but the warning seems to indicate that something in the naming of terms is off.

[zafer-esen]

This warning is enabled when using -dev to aid development, where a common (and very hard to debug) bug arises from using same-named but semantically different terms, but this could also be intended (often as a result of merging clauses).

[woosh]

Right! But maybe we should close this issue then, since it is a known behavior, and sometimes even the intended one.

[zafer-esen]

I will try to see if the warning is expected behavior in this benchmark, let's maybe keep the issue open until then.