Added code and core results for code within a single module

As I guessed, once the consuming code is within the same module as the
definitions the core becomes identical.  This suggests that the problem is
probably fixable using INLINABLE pragmas.  I will continue working on this.