Macro test_generation::state_stack_has_polymorphic_eq

macro_rules! state_stack_has_polymorphic_eq {
    ($e1: expr, $e2: expr) => { ... };
}

Wrapper for for enclosing the arguments of stack_has_polymorphic_eq so that only the state needs to be given.