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