do not store Top values in store lattice to ensure termination