Exist_Trace_Rec_Eve_LVK