- [ "csn_vector ( ⬇* ? )" "csn_cpr_vector" "csn_tstc_vector" "csn_aaa" * ]
- [ "csn ( ⬇* ? )" "csn_alt ( ⬇⬇* ? )" "csn_lift" "csn_cpr" "csn_lcpr" * ]
+ [ "csn_vector ( ? ⊢ ⬇* ? )" "csn_cpr_vector" "csn_tstc_vector" "csn_aaa" * ]
+ [ "csn ( ? ⊢ ⬇* ? )" "csn_alt ( ? ⊢ ⬇⬇* ? )" "csn_lift" "csn_cpr" "csn_lcpr" * ]