Added multifile fact for "refined" multifile name, inc filename, to allow
multifile check for undefinedness.
Authored by: dwarren 2018-01-25
Parent: [r9199]
Child: [r9201]