"""Property-based tests for IaC Reverse Engineering Tool."""