assumedPred and thus assumedTrue too was extended to include failmsg
when failed to be true the msg is shown, to help show the relevant vars
but also the exact message of why it failed, since it is never too
obvious from the expression/form