- Fixed flow.als
- Added analysis.als & analysis.thm for security properties