Implemented model elimination for the frame order theory.
The specific analysis eliminate() method is derived from the now deleted model_failure() method of the frame order auto-analysis protocol.
Authored by: bugman 2012-11-16
Parent: [r17985]
Child: [r17987]