Add missing arguments to a proof