2627282930313233343536
if (cr.inHNF()) { return cr; } Machine local = m.getNewMachine(); local.run(((CurrinFunction)cr.getReference()).getId(), ((CurrinFunction)cr.getReference()).getRefParameters()); cr.setReference(local.getResult().getReference()); return cr; } }