First analysis written

Detects if getContext has correct parameters. See comments for
replication.