Extension of Silicon for product programs, in particular product program counterexample transformation - View it on GitHub