bug fix: gadgets_count > symbolic_steps assertion was failing