PS11172014C implemented concrete state header file generation