Buddy 2.2 makes a mistake in the function bdd_allsat
when you try to run it with a direct or indirect
recursive call.
I haven't yet checked the source code, but apparently
it's caused because bdd_allsat uses in every call THE
SAME location in memory to store a char * array called
varset.