assertion applied to class Analyzer