Add dependency to Z3.