reduce clb to canonical form with dreadnaut