I think that was fixed on the master branch, but we can’t generate a new executable as the master branch has some problems right now (possibly related to HOL updates). -Scott > On 2015/08/15, at 01:19, Konrad Slind <konrad.slind at gmail.com> wrote: > > Example of Problem 2: > > SOME(1,2) and > SOME((1,2))