fix: work-around malformed `all` field in definitions#14

Closed

ammkrn wants to merge 1 commit intoleanprover:masterfrom

ammkrn:def_all_list

Commits on Jan 26, 2026

fix: handle malformed declars from attributes
ammkrn
committed