Fork of XSpec, the BDD framework for XSLT and XQuery