sid: <br>nm: Property Analyser<br>