added special state variable annotations table