Added the abstract 'Analyzer' class to provide variables shared by all
the subclasses (e.g. wyil file, verbose property or arguments). And
added the implementations of bytecode analyzer to parse the bytecode and
add the constraints in the list.