public static BoogieStmtList MakeSingletonStmtList(BoogieCmd cmd)
{
BoogieStmtList stmtList = new BoogieStmtList();
stmtList.BigBlocks[0].AddStatement(cmd);
return(stmtList);
}
public void AddStatement(BoogieCmd statement)
{
SimpleCmds.Add(statement);
}
public void AddStatement(BoogieCmd cmd)
{
Debug.Assert(BigBlocks.Count == 1);
BigBlocks[0].AddStatement(cmd);
}