Minor fix for simple path reduction to apply the constraint at k = 2
Fixed simplepath reduction test