What is wrong with the following attempt at a contract.
  %% solve(a,b,c) returns a solution to the equation.