-- 1 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 2 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 3 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 4 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 5 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety, 5, 4, 6, 3 */ -- 6 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety, 2, 3, 3, 2 */ -- 7 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 8 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 9 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety, 4, 5, 10, 4 */ -- 10 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 11 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 2, 14, 2, 2 */ -- 12 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification")