bugfix for persistent auto frame in specialization pattern

This merge request fixes [# $] in specialization pattern, which was broken due to a missing tc_solve for IntoAbsorbingly.

A test lemma is also included verifying the pattern is working and does not consume persistent hypothesis. However, I'm unsure whether the error message for a failed IntoAbsorbingly resolution is working.