factoring common pt-constraint relevance checking/constraint dropping functionality into just a few shared methods