Function check_path 

pub fn check_path(input: impl AsRef<Path>) -> Result<(), Error>

Check a .syn input path, validating its import graph and cFS codegen support.