A line of debugging verbosity.
Cosmetic changes to is_start_of_basis in families