Validate file pattern databases #23
Description
Currently, the code does not at all validate file pattern databases. In particular, for static pattern databases, this could lead to semantic errors. For example, a single variable could currently appear in zero or more than one pd group, and the code would not identify this problem.