Reduce/Reduce conflict

[raghavmecheri]

Caused by the below 2 lines:

viper/parser.mly

Line 149 in 38952b1

| LPAREN formal_list RPAREN ASSIGN expr { Deconstruct($2, $5) }

viper/parser.mly

Line 158 in 38952b1

| LPAREN expr RPAREN { $2 }