Goal True.
Fail autorewrite with foo.
try autorewrite with foo.
Abort.