Inf max debugging

The correctness of vertex programs and aggregators assured.