A special type of simplification procedure is the one that are used not for filtering boxes but for finding roots of a system of equations. The general solving algorithm of ALIAS accept such type of procedure that returns 11 if a root is provided by the simplification procedure.