- [ "ltpss" "ltpss_ldrop" "ltpss_tps" "ltpss_ltpss" * ]
- [ "tpss" "tpss_lift" "tpss_tpss" "tpss_ltps" * ]
+ [ "ltpss ( ? [?,?] ≫* ? )" "ltpss_ldrop" "ltpss_tps" "ltpss_ltpss" * ]
+ [ "tpss ( ? ⊢ ? [?,?] ≫* ? )" "tpss_lift" "tpss_tpss" "tpss_ltps" * ]
+ }
+ ]
+ [ { "generic local env. slicing" * } {
+ [ "ldrops ( ⇓*[?] ? ≡ ? )" "ldrops_ldrops" * ]
+ }
+ ]
+ [ { "generic relocation" * } {
+ [ "lifts ( ⇑*[?] ? ≡ ? )" "lifts_lifts" "lifts_vector" * ]