let is_constant env uid = let varprop = Hashtbl.find env.varprops uid in let (_, line) = varprop.declaration_loc in not varprop.written_after_declared && line!= 0