- Made explcit code for each of the visiting alternatives
- Removed the nested environemnt as it seems it is not needed
- Still NOT tested completly