remove unnecessary stuff

analysis/facts/model/ideal_uni_exceed.v

@@ -108,8 +108,6 @@ Section ExceedanceProcStateProperties1.
     |ExceedanceExecution _ => true
     |_ => false
     end.
-  Local Transparent scheduled_in scheduled_on service_on.
-
 
   (** Next, let us consider any schedule of the [exceedance_proc_state]. *)
   Variable sched : schedule (exceedance_proc_state Job).