more INST4 to INST1 conversions where possible