Setting constraints, CFLs for imp/exp methods, eliminating large run, cleanup