On non-finiteness in extraction constructions