ph2thomas: remove spurious atoms in K inference
Merge branch 'master' of github.com:pauleve/pint