Embedding Functions Into Reversible Circuits: A Probabilistic Approach to the Number of Lines