Use of Abnormal Predicate
Component is ok
Component is faulted
