Interface IFixedPointStatement<T extends IVariable<T>>