sym-exec v5: - Added last added condition status saving support - Save only condition...

sym-exec v5: - Added last added condition status saving support - Save only conditions with symbolic elements - Added support for printing expression tree - Save origin of symbolic values so we can identify it later - Fixed constant values' bits construction - Define destination var if it is not define - Fixed addition and subtraction - Added some utility functions - Fixed condition adding - Added Cast expression support - Added comments for some functions