Added "analyzeStuckAtConstant" specification debugging technique and some examples