[spec/divergence] Failing test cases for ( = ) and ( == )