In FEniCS, I am wondering whether the system firstly eliminates the bubble functions and form a "tighter" system, or put all Dofs in unknowns.
No, all unknowns are present.