Added more about model checking, trying to adapt better the
'performance' tests