Complete refinement tool.
Add automation(deadlock) tool.
Rename some packages.