Only define certain variables if they are needed
Only define certain variables if they are needed

lorisdanto/automatatutor-frontend,AutomataTutor/automatatutor-frontend,AutomataTutor/automatatutor-frontend,lorisdanto/automatatutor-frontend