Move files to IC folder
Script to verify lemma1
Weighted Cascade model
General greedy heuristic for WC model
Add WC folder