changed implicit tests in the interpreter such that they can be skipped if prob is not pressent