engine -> writer
fixed decomposition rule counters