Make the matchers/ verapp rule error out too