Abella < Import "ccs_bisim".
Importing from "ccs_bisim".
Warning: Definition can be used to defeat stratification
(higher-order argument "Tech" occurs to the left of ->)
Warning: Definition can be used to defeat stratification
(higher-order argument "Rel" occurs to the left of ->)
Warning: Definition can be used to defeat stratification
(higher-order argument "Rel" occurs to the left of ->)
Warning: Definition can be used to defeat stratification
(higher-order argument "Tech" occurs to the left of ->)
Warning: Definition can be used to defeat stratification
(higher-order argument "Tech" occurs to the left of ->)

Abella < Import "ccs_ctx".
Importing from "ccs_ctx".
Warning: Definition can be used to defeat stratification
(higher-order argument "Rel" occurs to the left of ->)