def add_constraint_to_stack(stack: AutomatonStack):
value = stack.pop_data()
variable = stack.pop_data()
stack.add_data(Constraint(variable, value))
def perform_stack_action(self, stack: AutomatonStack,
configuration: Configuration):
variable = stack.pop_data()
stack.add_data(FunctionDeclaration(variable.name))