refactor obfuscate_st_if_check obfuscate_to_exp