Rationale and design of the Vericiguat in Vasospastic Angina (ViVA) trial: a double-blind placebo-controlled randomized cross-over study | Synapse