[WIP] Fix identified bugs in the code#25

Copilot wants to merge 1 commit intomainat-las-research/Gravity-Lang:mainfrom

copilot/fix-bugs-in-codeat-las-research/Gravity-Lang:copilot/fix-bugs-in-codeCopy head branch name to clipboard