output the offending input/output parameter

If there are multiple guards, this makes it clearer which one failed.