Fix bug in intersect_db (in rtl_intersect/3) and add comments.
Authored by: dwarren 2020-08-03
Parent: [r9742]
Child: [r9744]