Incomplete simplification in smtml

[epatrizio]

Context : Symbolic fuzzing #189 Similar errors occur during fuzzing :

Failure("(i64.eq (i64.extend_i48_s (extract (i64 -5690315267789494568) 0 2)) (i64 0))")

Failure("(i32.eq (i32.extend_i16_s (extract (i32 916602011) 0 2)) (i32 0))")

Failure("(i32.to_bool (i32.extend_i16_s (extract (i32 1815251545) 0 2)))")

Failure("(bool.or ([i32.lt](http://i32.lt/) (i32 0) (i32.add (i32.extend_i16_s (extract (i32 0) 0 2)) (i32 925874591))) (bool.or ([i32.lt](http://i32.lt/) (i32.extend_i16_s (extract (i32 0) 0 2)) (i32 0)) (bool.or ([i32.lt](http://i32.lt/) (i32.add (i32.extend_i16_s (extract (i32 0) 0 2)) (i32 925874591)) (i32 0)) ([i32.lt](http://i32.lt/) (i32.add (i32.extend_i16_s (extract (i32 0) 0 2)) (i32 925874590)) (i32 0)))))")

[redianthus]

@filipeom, is this expected ?

[filipeom]

Yes, since we're not concretely simplifying extract. I will address this once I change the representation of bitvectors in smtml.