enhanced validation logic to spot both unknown as well as unassigned variables.