Surjectivity for finite sets of combinators by weak reduction