Adjust to new location of skolemoization method
Fix dependency version
Introduce builder pattern to get more consitent BdplQuery objetcs