mark non-constant symbols as "unknown" after an assignment if they were empty before