Describir: Melting Down the Number of Variables for the Inclusion Problem for Pattern Languages and Logspace-Decidability of Determinism of Regular Languages