A reduction procedure and pipeline for the detection of trans-Neptunian objects using occultations | Synapse