add_z3_component