Constructing an abstract model for ladder diagram diagnosis using