If the propagation candidate gate satisfies no condition or the same is a NOT, EXOR or EXNOR gate, on the other hand, the indefinite value is decided to be propagated and the indefinite value generating signal line is decided as an error signal line.