Implementation of JARV (Java API for RELAX Verifier).