Create simple tests for proving assumptions - support for various languages loaded from github repo