Added sentence in compare about two terms not being equal if their
main functor symbols are in different modules.
Authored by: dwarren 2018-02-25
Parent: [r9229]
Child: [r9231]
