removed some false warnings in FunCalledWithMoreArguments