fixed bug in translator; fixed bench/rd/sat/inconsi* example