Segmentation fault when trying to print counterexample with null pointers

[nikola-benes]

The following code makes rapidcheck segfault:

void foo() {
    int* ptr = nullptr;
    RC_ASSERT(ptr != nullptr);
}

int main() {
    rc::check("foo", foo);
}