I revised my patch to include gexps instead of inferior 
propagated-inputs as was advised to me in the guix IRC room.