Rework position-analysis driver

The function treated each constraint as success.  The problem was
actually in the constraint-attempt? function which always returned true.