Small coverage checker fix
Need to generate possible cases by looking at the patterns, not by
looking at the function type alone. Of course, this is what it was
trying to do, but there was a mistake...
Fixes #397