documentation
don't load bytecode in isValidSpclztion()
don't load bytecode in takingIntoAccountSpecialization()