AST: Improved 'same expression on both sides of operator' checking for nested operators