public override StatementList AllocObject(IVariable var, InstructionTranslator instTranslator)
{
if (RequiresAllocation(var))
{
return(memAddr.AllocObject(var, instTranslator));
}
else
{
return(memBCT.AllocObject(var, instTranslator));
}
}
public override StatementList AllocObject(BoogieVariable var)
{
// actually should be the same in both models
return(memAddr.AllocObject(var));
}