Program analyzer should now be invokable
Program analyzer passes test