Simplify Jasmin generation code.