public List <BoxedExpression> ExtractAssertions( IMethodResult <Variable> mr, INumericalAbstractDomain <BoxedVariable <Variable>, BoxedExpression> astate, IExpressionContext <Local, Parameter, Method, Field, Type, Expression, Variable> context, IDecodeMetaData <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly> metaDataDecoder) { ArithmeticAnalysis an = mr as ArithmeticAnalysis; if (an == null) { return(null); } BoxedExpressionReader <Local, Parameter, Method, Field, Property, Event, Type, Variable, Expression, Attribute, Assembly> br = new BoxedExpressionReader <Local, Parameter, Method, Field, Property, Event, Type, Variable, Expression, Attribute, Assembly>(context, metaDataDecoder); return(an.ToListOfBoxedExpressions(astate, br)); }