removing two more specs which are no longer problematic
Merge pull request #72 from runtimeverification/reduceOmits

adding two more specs which are no longer problematic