Exception: Multiple declarations of ....

[whoopsmith]

Hi,

I'm trying to use this to do some analysis on our project with this tool and I'm getting the follow exception on one of our functions when I run it.

Can you provide any insight into what might be happening here?

[DEvil0000]

I think this code could be changed to allow this. Using the highest stack cost should be fine - but you could also give it a default cost of 8 or mark in unbound as a quick fix.