[STATEMENT]
lemma all_local_vars_Assumption[simp]:
  "all_local_vars (Assumption c) = {}"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. all_local_vars (Assumption c) = {}
[PROOF STEP]
unfolding all_local_vars_def
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. \<Union> (local_vars (Assumption c) ` fset (inPorts (Assumption c))) = {}
[PROOF STEP]
by simp