Ini the directory with KAT expressions' equivalence