> > The problem was caused by two separate bugs in the rule inference. They > are now fixed in the current trunk. > > Thanks for reporting it > > Best, > > Peter
Hi Peter, I tested your fix with the current trunk version. Everything worked fine! Thanks, Andreas
