Class DefaultFixedPointSystem<T extends IVariable<?>>