Added an equality for stack_add in Stack.v