comments for SummarizableAbstraction
bidisolver now supports summarizing abstractions
made bidi solver extensible