Change syntax name to prove-output