/**
* Adds a statemtn to the repository
* @param stmt - type IStmt, statement to be added
*/
public void Add(IStmt stmt)
{
ProgState prg = new ProgState(new ArrayList <int>(), new ArrayDict <string, int>(), new ArrayStack <IStmt>(), new ArrayDict <int, int>());
prg.GetExe.Push(stmt);
repo.AddState(prg);
}
