fix probability flag handling in SDC