Partially ASTify write_failing_fns
Add some documentation