converted tests to LBDD