Ignore fewer dual flags when unifying rows.
Remove infinite loop when unifying duals of session variables.