remove qui_solve
add a check process
avoid some dangerous union