Fix: a minor bug in handling constructors during specialization of c type methods.