The IDE for PolyStatic