Created a working checkPred, starting putting in successor list

no idea why it's causing random errors