The Tropical Non-Properness Set of a Polynomial Map | Synapse