Enhance zebius/inst.ml

Do not emit unnecessary instructions