Testing Neural Program Analyzers