new Conditional Code Analyser