On the Use of a High-Level Fault Model to Analyze Logical Consequence of Properties