Update alias analysis for new hyperobject interface

[VoxSciurorum]

In the alias analysis module, function getRecognizedArgument only works if the function has 2 or 3 arguments. This was correct at the time, but now hyperobject lookup takes more arguments. The alias analysis code should be updated and a regression test added.