added DiffAST options