renopro transform ./tests/asp/transform/meta-telingo-externals/river-crossing-subprograms.lp -m ./tests/asp/transform/meta-telingo-externals/transform-subprogram.lp -o reified | renopro transform -i reified -m ./tests/asp/transform/meta-telingo-externals/transform-add-externals.lp | clingo --output=reify | clingo ./tests/asp/transform/meta-telingo-externals/meta2.lp -c horizon=7 -