TODO: add == and != tests for default (altstep activation variables). Try the following varieties, 
based on 20.5 test cases:
  if (v_def == null) ...
  if (v_def1 == v_def2) ...