#include <stddef.h>

int main() {
  int *r; // rand

  if (r == NULL)
    assert(r == NULL);
  else
    assert(r != NULL); // TODO

  if (r != NULL)
    assert(r != NULL);
  else
    assert(r == NULL); // TODO

  return 0;
}

Add test for NULL pointer invariant refinement
Add test for NULL pointer invariant refinement
