path: root/test-suite/output/rewrite-2172.out

The command has indeed failed with message:
=> Error: Unable to find an instance for the variable E.