/test/458-checker-instruction-simplification/src/