Bugfix in glm2: fixed synchronization issue in case of KKT condition failed when suing strong rules.