Expanded lifecycle features

Expanded lifecycle support for OMG SACM, hazard analysis (Leveson's STPA, intent specifications), JPL state analysis, CertWare L structured arguments with answer set programming solvers for Linux and Windows, and fault trees from physics (FTP) with external Prolog solvers.