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