System Model Checking -- Repair of Boolean Programs with an Application to C -- Session