Coherent Functions and Program Checkers (Extended Abstract)