Fix bugs of judgment of precondition