pub(crate) fn write_input_derivations( writer: &mut impl Write, input_derivations: &BTreeMap<impl AtermWriteable, BTreeSet<String>>, ) -> Result<(), Error>