Text this: Modularizing the Elimination of r=0 in Kleene Algebra