store maximum output buffer size for each statement
refactor: store more info in polyhedral::statement