Congruence over a single function instead of all functions
Merge pull request #957 from JanBessai/OrderEqCong

Congruence over a single function instead of all functions