Usage:

java -jar mvpda-refinement.jar [-v] [FILE]...

Tests all given FILEs containing mvPDA for refinement.
If -v is specified, be verbose about generated rules.