← Fix Point Implementation of ClAlihControl Algorithms