implement splitT for XBGF (in Rascal)
PNF export made perfect
implement addC for adding conjunctive clauses
implement skeletonisation mutation
migrate the island/tolerant library to Rascal
reimplement BGF2Rascal in Rascal