Due to the sync in https://github.com/lcompilers/lpython/pull/2836 we had to disable some tests in integration tests. Let's enable them again, one by one, by porting the implementation from the old version of libasr in https://github.com/lcompilers/lpython/tree/635ed2020123199c22f25d3dd23056cd80717762/src/libasr to the latest main by following the workflow described in https://github.com/lcompilers/lpython/pull/2836#issuecomment-2764713672.