Variable splitting is a recently introduced tableau technique for first order logic. It aims to identify when different occurrences of the same variable are independent and thus need not be treated as rigid. By removing ...