Added SVF file support, svf_parse and svf_lower.