Other localopts/confirm construction already optimize this case, so
testing a==b is enough to check for equality.