if(verification || smtVerification) {
// First, handle the conversion of wyil to wyal
Wyil2WyalBuilder wyalBuilder = new Wyil2WyalBuilder(project);
if(verbose) {
wyalBuilder.setLogger(new Logger.Default(System.err));
}
project.add(new StdBuildRule(wyalBuilder, wyilDir,
wyilIncludes, wyilExcludes, wyalDir));