Constant SYMBOLIC_COUNTEREXAMPLE_ARTIFACT_SCHEMA 

pub const SYMBOLIC_COUNTEREXAMPLE_ARTIFACT_SCHEMA: &str = "foundry:symbolic.counterexample@v1";