correctly translate the state of the subprj into the overall_state