Add JSON encoding & 1st Code Cleanup of log functions
Change symbolic representation & bif abstractions
Create a json meta-command for break_term
Ignore erlang files in root dir
Use throw/1 instead of error/1 for internal errors
Support references in json encode
Support PIDs in json encode
Refine toy tests
Comment out support for strange types in json_encode and do not log them
Comment out unreachable code
Due to changes in previous commit (do not support YET strange types in json_encode)
Fix bug in calling toy tests & comment out binary tests for now
Forgot to uncomment toy tests
Tone down ran.erl
Modify logging of not_tupl constraint
Code cleanup
Do not mock element/2 with symbolic index (for now)
Support more BIFs & GZIP compress logs
Do not log pids for now
Support decoding of z3 result json
Build execution path constraint list