Fixed a bug in Kiasan.check method only translating the last path
condition. Changed KiasanStatePart.requestInconsistencyCheck to accept a
boolean parameter to allow state check request to be reset.