fix crash due to unsatisifiable constraints