What should I do when this error occurs? ——Alt-Ergo: “Unkonow error”

Question

When I run the WP example, there is an error, and i don\'t know what it is.

/*@ requires \\valid(a) && \\valid(b);
  @ ensures A: *a == \\old(*b) ;