set-cxt
set-cxt-implies-set2facts