Recognize loads of arguments as re-materializable first. Therefore if isReallyTrivial...