Class FunctionsToComputersAndLift.RAI54FunctionToComputerAndLiftAfter<I1,​I2,​I3,​I4,​I5,​O,​RAII1 extends RandomAccessibleInterval<I1>,​RAII2 extends RandomAccessibleInterval<I2>,​RAII3 extends RandomAccessibleInterval<I3>,​RAII4 extends RandomAccessibleInterval<I4>,​RAIO extends RandomAccessibleInterval<O>>