vars can be erased in evalLocal
vars can be erased in evalLocal

A small thing, but no need to do that check since we can get it from
locs.

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm