is_stuck was unfolding constants in the case of let-in