the generated counter examples are not in
the right format for the ProB for Rodin plugin

problem was not functor but length of values

(to force re-building plugin)

it still contains old version of 32 bit linux and windows probclis

seems to happen at startup of Rodin 3.5RC

for Rodin 3.5RC startup

also disprover core