Ok, checked Brandish 2 again after the compile fix ... current build now works, so I guess it was one of the 100s bugs that eta introduced just before 0.136 release ;P
you might find interesting the fact that the bug was introduced by judge and not by me (also because I haven't touched the driver from last fall to last week
)
Wow, I'm good at breaking stuff it seems
Looks like Brandish 2 is another test case for the div/mult timing then (if someone ever manages to figure it out).