implement a^b_c -> a_b^c

Change-Id: I937b220b224a3e96f1399180ab84a138dc8db711