--simplification=none --enum-inst
