More testing QuackTDB BGP cases
Revise notes
Move StepPredicateObjectList into main