The list case of '#get-REC'/2 set to type '#get-REC'([any()],_) -> [any()].