Contract Analyzer