add vartracker phase; make let definitions strict