added parenthesis sorrounding add expressions
added missing parenthesis on minus and existential expressions