A Semiclassical ANEC Constraint On Classical Traversable Lorentzian Wormholes | Synapse