Fixed test case, but code generation still fails because some signature generation does not preserve zero / signext attributes