Better reporting for function contracts.

Now, a function's name is shown, along with the parameter
number, (parameter enum starts with 1), for which a contract
failed.