Using the effective weak mixing angle as an input parameter in SMEFT | Synapse