update for cudd package name change
AdamAbstractor -> SimpleAbstractor
rename package to simpleabstractor