cong-app: Applying an equality between functions to a single argument.

Patch by Andreas Abel