replace some poor man mocks with Foq

What is this `-->` thing?