First PRIMA implementation: a very basic version, for the RLC test case only, and not generally applicable... but seems to work