first test sql and contraint package
Add effects and cross table
add data test
drop unknown using known