In his Bachelor thesis, Raphael implemented the P^m compilation. Experimental
results show a higher coverage with the compilation and h^max than with the
existing h^m implementation, so it might be worth to integrate his implementation.