Add final attribute to Final state