No sanity check for function overloading implemented.

Bugzilla Link	215
Created on	Apr 18, 2006 23:38
Resolution	DUPLICATE
Resolved on	Aug 09, 2006 10:27
Version	1.00beta
OS	Linux
Architecture	PC
Attachments	ipbb.sac, ipbb.slow.sac

Extended Description

If you compile the attached ipbb.slow.sac with -O3, it executes
on my 1.8GHZ Bog-O-Matic in about 1.8 seconds. If you compile it with
-O3 -DGOSLOW, it executes in about 32 seconds.
The latter generates two extra OR functions:
bool[1] OR bool[.] and
bool[.] OR bool[1].
Not sure why simpler algorithms should make things go about 20X slower.