A Survey of Reinforcement Learning for Software Engineering | Synapse