Added new annotated expression IR.