/////////////////////////////////////////////////////////////////////////////////////
private void setControlStatement(BasicBlock current, StructuredCmd structuredCmd, BasicBlock next)
{
if (structuredCmd is IfCmd)
{
setControlStatement(current, (IfCmd)structuredCmd, next);
}
else if ((structuredCmd is BreakCmd))
{
setControlStatement(current, (BreakCmd)structuredCmd, next);
}
else
{
throw new Exception("Unsupported Boogie Control Command:" + structuredCmd);
}
}
public void Add(StructuredCmd scmd)
{
builder.Add(scmd);
}