/.VLSComment.java._trace
/.VLSAnd.java._trace
/.VLSAnnotation.java._trace
/.VLSEquivalent.java._trace
/.VLSExistentialQuantifier.java._trace
/.VLSFofFormula.java._trace
/.VLSFunction.java._trace
/.VLSFunctionFof.java._trace
/.VLSInequality.java._trace
/.VLSOr.java._trace
/.VLSUnaryNegation.java._trace
/.VLSUniversalQuantifier.java._trace
/.VampireQueries.java._trace