--decision=internal --enum-inst --enum-inst-sum
