TVLTransformerExpressionToGNUPrologTest