disable singledef optimization
selective flow-sensitivity
fix Csalloc
fix conflicts