public TraitTypeCheckingExtension(final StaticTypeCheckingVisitor typeCheckingVisitor){
  super(typeCheckingVisitor);
}

public TraitTypeCheckingExtension ( final StaticTypeCheckingVisitor typeCheckingVisitor ) { super ( typeCheckingVisitor ) ; }
builds a type checking extension relying on a groovy script ( type checking dsl ) .
