How about making accept pure virtual? That way it can't be missed to implement this for new Statements.