Complete Initial DEEXPR/UEEXPR/KILLEXPR local analysis