Make sure to clearPropNet before markBases. And make sure to use Constant in the markProp (not mentioned in pseudocode)