Wrap the bug state in eqc_no_symbolic_calls

This makes eqc_statem not look inside for symbolic calls.
That's where 50% of the eqc_statem time was spent.
todo note