Shift automorphism methods for inherently non nitely based varieties of algebras