Example tests for use in fault tree analysis generation