Fix fault tree 1 and 2 with local EMV2 model

Fixes the outputs for fault tree 1 and fault tree 2 by including local
definitions of fail-stop error model within the package. In the case of
FTA 2 a local error model is included in the package. For FTA1, a local
transition statement is provided consistent with the error library
definition for fail-stop.