path-consistency added