Revert "Update default.semantics (#501)" (#502)
Revert "Update default.semantics (#501)" (#502)

This reverts commit ed8bea76165078c85701d89b67b4884e94555623.
joernio/joern,joernio/joern,joernio/joern,joernio/joern,joernio/joern,joernio/joern,joernio/joern,joernio/joern