SoK: Challenges and Opportunities in Federated Unlearning | Synapse