bugfix: NPE occured when ast.getFile returned null