eliminate empty or deletion,
merge top AND creation rule and transformation rules