DFG should optimize a==b for a being an object and b being either an object or