Function check_syntax 

pub fn check_syntax(ast: &Ast) -> Result<(), CompilerFailure>

Rejects parsed syntax whose recursive walks could exhaust the compiler stack.