Rename modus ponens utest by implication instantiation
Rename modus ponens utest by implication instantiation

misgeatgit/atomspace,rTreutlein/atomspace,yantrabuddhi/atomspace,inflector/atomspace,inflector/atomspace,AmeBel/atomspace,ArvinPan/atomspace,AmeBel/atomspace,misgeatgit/atomspace,inflector/atomspace,inflector/atomspace,inflector/atomspace,yantrabuddhi/atomspace,AmeBel/atomspace,AmeBel/atomspace,misgeatgit/atomspace,ArvinPan/atomspace,yantrabuddhi/atomspace,rTreutlein/atomspace,misgeatgit/atomspace,rTreutlein/atomspace,AmeBel/atomspace,misgeatgit/atomspace,rTreutlein/atomspace,rTreutlein/atomspace,yantrabuddhi/atomspace,ArvinPan/atomspace,yantrabuddhi/atomspace,ArvinPan/atomspace