Make globals pass aliasing analysis
Made globals pass ArgumentsReadOnce

since globals are in global_declarations (from the analysis of the same name), argumentreadonce goes through them with functioneffects called on them.

I didn't disable that call (seems calls to functioneffects also happened on classes and were dismissed), so I just returned an empty result for those, same as instances of intrisic.Class were handled.