Added get-matched-messages.
Fixed andor/thresh elimination rules handling of U-INFER messages.
Atoms now always have message sets, and a bug checking if restrictions are identical has been fixed.