Boolean Polynomials, BDDs and CRHS Equations – Connecting the Dots with CryptaPath