Writing Terraform Plan Polices with KCL Programming Language