public override void Accept(Contracts.IOracleModelVisitor visitor)
 {
     visitor.VisitStringConstant(this);
 }