public FunctionApplicationTerm(Logic.Function function, ExpressionList arguments)
{
Debug.Assert(function != null);
Debug.Assert(arguments != null);
this.function = function;
this.arguments = arguments;
}
///////////////////////////////////////////////////////////
public BoogieFunctionApplication(Microsoft.Boogie.Expr boogieExpression, Logic.Function function, ExpressionList arguments)
: base(function, arguments)
{
Debug.Assert(boogieExpression != null);
this.boogieExpression = boogieExpression;
}
