added flags var TRACE_CALL = true;
                var TRACE_BRANCH = true;
                var TRACE_WRITE = true;
                var TRACE_RETURNS = true;
                var TRACE_TESTS = true;

for printing information during Multiex symbolic execution.