Add StoreResult state and refactor control signal assignment.