Add interface LabelledStatementInfo