Fix option problems.
Fixed PNML compiler's bugs.
Fix data cache problems.
Fix update criteria about time comparison.