Bdd generation crashes if there are free variables present

[Broes De Cat]

For example solving the query { x | P(x,y) } crashes idp. (note: this type of query will now throw an exception early, but the underlying bug is not solved yet)