Arguments to function calls are lifted