move FlattenTerms before addInjuection