public AssertSimpleHint(AssertSimpleType hintType) : this(hintType, VCExprHint.EmptyExprHint()) { }
public AssertSimpleHint(AssertSimpleType hintType, VCExprHint vcExprHint) : base(vcExprHint) { this.hintType = hintType; }