Asymptotics for singular limits via phase functions | Synapse