Linear Causal Discovery with Interventional Constraints | Synapse