<div dir="ltr"><div>Hey! Sorry for the empty file, I was writing the mail in a hurry yesterday... This should be the right file.</div><div>In regards to further changes, nothing really comes to mind right now. The only thing I've thought about is to also add this behaviour to a "Push Down To" method that Paolo (a friend of mine) was working on recently (I think he already sent that a few days ago). Haven't looked into it just yet, but from what he told me implementing the same options as the existing push method refactors for it shouldn't be hard (mostly just copying what's in PushDownMethod already).</div><div>Have a nice day everyone!<br></div></div>