IRtoSSM: reversed arguments again, using MP to restore stack. Added tests (which are correct)