Issue warning for constructor without signature (Issue #106)
Specialize SSA variable promotions in first code block
Clarify error return statement a bit in the late specializer