Extend so that defRule can return most specific rules to support using definitions as Rewrites
Extend so that defRule can return most specific rules to support using
definitions as Rewrites


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@5494 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware