SAACFchaseMinMax() gives wrong result for AVIS_MAX when arg_node is AKV

Bugzilla Link	1193
Created on	May 18, 2017 22:07
Resolution	FIXED
Resolved on	May 18, 2017 23:13
Version	svn
OS	Linux
Architecture	PC

Extended Description

This is a long-standing bug in CF that apparently has never
hit anyone who noticed it.
Basically, any CF calls that care about AVIS_MAX will give the
wrong answer when the argument node is AKV.
Instead of returning AVIS_MAX( arg_node), it returns a constant
built from arg_node. It SHOULD return 1+arg_node, because AVIS_MAX
is normalized, just as GENERATOR_BOUND2 is normalized.
sac2c -V
sac2c 1.2-beta-BlackForest-507-g4f66f-dirty
build-type: DEBUG
built-by: "sac" at 2017-05-18T16:24:11
I have a fix for it in bob-sac2cpogo4.
Bob