public AssumeConjHint(int nestLevel, int numConjunctions, int numCommands) : this(nestLevel, numConjunctions, numCommands, VCExprHint.EmptyExprHint()) { }
public AssumeSimpleHint(AssumeSimpleType hintType) : this(hintType, VCExprHint.EmptyExprHint()) { }