modified memory domain of validator for pfs
add interval for progress bar
use physical equality in le_dec (validator)
add interval for progress bar
use physical equality in all decidability (validator)
debug: two modifications

- constant of real number in validator
- Cil.bitsSizeOf execption handling in translator
debug: return semantics

- do not access local vairalbes when Weak mode
- do not access local vairalbes when recursive
Merge branch 'master' of github.com:skcho/zooberry

Conflicts:
	analyzer/core/main.ml