unimplemented symbolic instruction: trunc_sat_f32/64

[epatrizio]

symbolic_value: I32 and I64 modules

let trunc_sat_f32_s _ = assert false
let trunc_sat_f32_u _ = assert false
let trunc_sat_f64_s _ = assert false
let trunc_sat_f64_u _ = assert false