On Wed, Jun 7, 2017 at 10:21 PM, Samuel Pitoiset <samuel.pitoiset at gmail.com> wrote: > You don't want to have a static verifier or something for correctness? :) I don't know how to have a static verifier. The risk of breaking something is high, but it should also be obvious (hopefully). Marek