Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models | Synapse