Progress on inside-poly? predicate, seems to work more robustly than before, but still fails in some cases.