fixed assumedPred to actually evaluate the fail msg
so far so good