Fix some bugs that surfaced in the ASL export

- Bitvector pattern rewriting had stopped working due to a line of code being
  lost in some merge.
- Fix a bug in early return rewriting that caused returns getting pulled out of
  if-statements to disappear.
- There were some variable name clashes with keywords because doc_lem_id was
  not always called.
- Ast_util.is_number failed to check for "int" and "nat" built-in types,
  causing pattern matching on natural number literals to fail.

0 files changed, 0 insertions, 0 deletions