Add skolemizing script to remove bnodes