Removed some debugging messages that were making things slower; added more nodes to BDD init
Added code path to ignore varargs
Merged my changes into Master