Hmmm. A few things:

1. Check this out; it puzzles me:

SQL> l
1 begin
2 p.l (NULL OR TRUE);
3 p.l (NULL OR FALSE);
4 p.l (NULL OR NULL);
5* end;
SQL> /
TRUE
NULL
NULL

Why the difference between the first two?

2. I think I need to clarify how that null_ok_in is supposed to work. For utAssert.this, it should mean that if the value of the Boolean expression coming in is null, then that means "success". For eq, it shoudl mean that if BOTH values coming in are NULL, that is "success". For eqfile, if both files are empty...etc.

Does this make sense to you?