<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def minimize(self, element: Expression[z3.ExprRef]) -> None: """In solving this solver will try to minimize the passed expression. :param element: """

        self.raw.minimize(element.raw)