renamed file since everything now works after fixes to SpecMatcher