Member predicate ClassDefinition::getConstructor

Gets the constructor of this class.

Note that every class has a constructor: if no explicit constructor is declared, it has a synthetic default constructor.