Avoid spurious choice-points when checking meta-predicate templates