A Generic Payment Channel Construction and Its Composability

Yes, thanks for pointing this out. Fixed by removing the OPEN state requirement in condition 1.