Fixed incorrect behavior in abstraction matching process.