Bugfix: URI templates with multiple variables where not detected correctly (false positives).
TypeLift is now the default implementation for lifting types.
getUntypedArgumentFromTerm() and forceVariablereuse() moved from DatalogUnfolder to TypeLift.