Merging history trees of dark matter haloes: a tool for exploring galaxy formation models | Synapse