Distinguish between stateful variables (occur under a pre operator) and local definitions