Cp does only a partial job of allowing nested function terms
Issue #701
new
It has to do with the interation between atoms term~term, graphing and the comparison grounder.