d-sep_test write up