rewrite uninitialzed variables to reaching definition problem