Remove parameter inferencing so's to minify.

Minification will rewrite the parameter names so that Proof won't be
able to infer the values to pass in from the parameter names.

See #20.