Function application failing at 'prove_function'

[jlvargasme]

Unhandled cases on 'prove_function' make it return '42', which was a magic number used to track errors. Make sure to replace this with exceptions that throw meaningful messages.