added static state generation for debugging