if (RuntimeValidator.validator != null
&& RuntimeValidator.validator instanceof BasicRuntimeValidator)
{
Console.out.println("----------------------------------------------------------------------------------");
Console.out.println("Runtime Validator Initialized with conjectures:");
BasicRuntimeValidator validator = (BasicRuntimeValidator) RuntimeValidator.validator;
for (ConjectureDefinition conj : validator.getConjectures())
{
Console.out.println("\t" + conj + "\n");
}
Console.out.println("----------------------------------------------------------------------------------");
}