Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Logical Methods in Computer Science, 2022)