empty functions parameter are removed from alias analysis