WyC: updated the new parser so that it can correctly distinguish local variables from external accesses (of some sort)