liquidAssumeB
grep derived dictionaries
ignore code from deriving instances
add code but ignore checking for derived
Merge pull request #201 from ucsd-progsys/deriving

Ignore code for deriving instances