preparation: putting INVOKEINTERFACE in equation for NotNull parameter analysis
documentation
more clear names, documentation
towards outputting of "upward" and "downward" keys

Downward keys are output with "virtual" modifier, upward keys are output as previously. From this change xml output contains a lot of false "virtual" modifiers - it will be fixed in a few commits.