Filter SLAM is a short algorithm and a long list of ways to get it almost right. The covariance has a block structure, and each step touches a different part of it.
You complete the prediction and the update, including how a new landmark enters the state, then run the whole filter through a loop and test whether it tells the truth about its own uncertainty.