Modularizing the Elimination of r=0 in Kleene Algebra (Logical Methods in Computer Science, 2005)