Analysis skeleton + identity stmt implemented