Moved the general tree structure check into the sanity check block of the addInput method
Moved the general tree structure check into the sanity check block of
the addInput method
kg6/aig2qbf,kg6/aig2qbf,kg6/aig2qbf