Arc and path consistency revisited