The regular expression in the preprocessing of bfcl.py generates huge list of call_references

[dafnapension]

bfcl.pdf

also previewed here:

and this huge results stemmed from the original record:

via the step of the regular expression through the cartesian product of all the lists highlighted above (2^19).

Most of these lists look like artificially pumped up by appending '' to them. Perhaps this is the issue? should these (what seems to be artificial) ''-s be cleaned out?

[github-actions]

This issue is stale because it has been open for 30 days with no activity.

[github-actions]

This issue was closed because it has been inactive for 14 days since being marked as stale.