Could PAO/pyomo solve bilevel programming problem with two mixed integer models?

[mugglell]

If the upper level model has binery varibles, continous varibles and interger varibles,it's a linering mixed integer model. And the lower level model has binery varibles, continous varibles and interger varibles, too. And it's also a linering mixed integer model. PAO.
with Solver('pao.pyomo.PCCG',mip_solver="gurobi") as solver:
results = solver.solve(M)
if I use the PCCG solver or other solvers, could the problem be solved?
Intermediate linking variables may be binery varibles or continous varibles