Interface IFixedPointStatement<T extends IVariable>