Improve branch coverage
Fix S_do_propagate_modified

Adjust for separating include_dest and source_dest.
Clean up dest dir in CFC test 501-include_dir.t
Port more CFC tests to C