Atlantis integration

The case for semantic analysis of IaC