Simplify rule for "Received disconnect from"