New Trace Formulae for Sturm–Liouville Operators on the Lasso-Graph