Bugs w.r.t. raising/lowering dummy indices when doing simplify_indexed.