purity and static analysis info