Updated and used Kil Properties for FlattenSyntax