removed all instances of BDDs and cudd, parser works