If your solution says impossible but you think it is satisfiable, check the graph construction. Print edges to verify they match your clauses. If your solution gives wrong assignment, verify the SCC indices. Tarjan assigns higher indices to earlier SCCs in some implementations.
Check the order. Test on small inputs where you can hand-trace the implications. Build intuition for how the graph captures constraints. Three variables is enough to debug most issues.