Use assume-static mode

Then could declare variables as local explicitly .