/test/557-checker-instruct-simplifier-ror/