Proposition removed GetPropositionBindingModel

Answer added to ExtendedProposition