Builtin functions sometimes need structure to get an interpretation

[Bart Bogaerts]

partial fix in branch catch_nullpointers.

But should be done more properly.

replace builtin by hasfixedinter, as has been done for sorts