Testing analysis (continued...)

Fixes for: support for constants, library calls, nil/primitive actual
arguments