[submodule "cpp/RAT"] path = cpp/RAT url = https://github.com/RascalSoftware/RAT branch = generated_source