Refactor all the subclasses of Analyzer and add the analyze method in
the Analyzer class for parsing the bytecode and adding the constraint.