Automated generation of “interface” implementations

Mocking is essentially quantifying over functions e.g. for any function f then p holds