2 ms·Infectious constraints propagating up the call graph is the entire goal, isn't it?by HWR_14 3y agoInfectious constraints propagating up the call graph is the entire goal, isn't it?