definite return analysis (#37), excluding while (and if) conditions, also fixed astyle script