for (int i = 0; i < pr; i++) vars[freeVariables + i] = predicatives[i].getReferencedComponent();