Optimal use of timing measurement in vertex reconstruction at CMS | Synapse