Add final accept/failure states