public AssumeSimpleHint(AssumeSimpleType hintType) : this(hintType, VCExprHint.EmptyExprHint()) { }
public AssumeSimpleHint(AssumeSimpleType hintType, VCExprHint exprHint) : base(exprHint) { this.hintType = hintType; }