Describir: Robust synthesis of dynamic refilters