Rewrite of ProngPos.scala