Add contract class for IStatment