<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Dec 17, 2015, at 1:31 PM, George Karachalias <<a href="mailto:george.karachalias@gmail.com">george.karachalias@gmail.com</a>> wrote:</div><blockquote type="cite"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><br></div><div>My single last concern is what I wrote earlier: <i>"Flags 2 and 3 are a bit tricky: Actual bailing<br>will uglify the code and make it much more complicated so I would prefer in practice to just<br>check up front with a good metric whether the possibility to be non-performant is high and in<br>these cases just not call the checker at all."</i></div><div><br></div></div>If we agree on this one, I am gonna wrap it up in the next 2 days. :-)<br></div></div></blockquote></div><br><div>I'm quite happy with this. My thought is that if it's a bit wrong, that's OK -- we'll refine the settings over time.</div><div><br></div><div>Others?</div><div><br></div><div>Richard</div></body></html>