Feasibility studies of the stochastic cooling system in the proton storage ring EDM experiment | Synapse