symdef gen working for all 3 T+D2 cases