added definition for get_variables, returns variables of an abstraction