<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Oct 12, 2014 at 6:06 PM, Hal Finkel <span dir="ltr"><<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Multiple incoming edges are allowed, so long as the corresponding value is the same. Different values from the same predecessor are not permitted. If there is some code that does not handle this correctly, it will need to be fixed.</blockquote></div><br>Similarly, if this is not *precisely* what the verifier enforces, the verifier will need to be fixed.</div></div>