a compilable improved state