Block decomposition: improve debugging information for normalization

– print the information only for the final matching (and not the intermediary
  ones that may have failed);
– print the equation name next to its number.