[Green] Added tests for || and &&

Refactoring
Modified parenthesized boolean experssion

However some cases are still unhandled like:
  A || (B)
  ! (A)
  ((A))
  ((A) || (B))