[clc-devel] [CRUX] #20: Dependencies are not always satisfiable