package Ġit . uni bo . tup ro log . core . test utils Ċ Ċ import Ġit . uni bo . tup ro log . core . Constant Ċ import Ġit . uni bo . tup ro log . core . Scope Ċ import Ġit . uni bo . tup ro log . core . Substitution Ċ import Ġit . uni bo . tup ro log . core . Term Ċ import Ġit . uni bo . tup ro log . core . test utils . Assertion Utils . assertEqual ities Ċ import Ġkotlin . test . assertSame Ċ Ċ /** Ċ Ġ* ĠUtils Ġsingleton Ġfor Ġtesting Ġ[ Constant ] Ċ Ġ* Ċ Ġ* Ġ@ author ĠEn ric o Ċ Ġ*/ Ċ internal Ġobject ĠConstant Utils Ġ{ ĊĊĠĠĠ Ġ/** ĠAssert s Ġthat Ġa Ġfresh Copy Ġof Ġa Ġground Ġ[ Term ] Ġis Ġthe Ġ[ Term ] Ġitself Ġ*/ ĊĠĠĠ Ġinternal Ġfun Ġassert Fresh Copy Is It self ( constant : ĠTerm ) Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Equal ities ( constant , Ġconstant . fresh Copy ()) ĊĠĠĠĠĠĠĠ ĠassertSame ( constant , Ġconstant . fresh Copy ()) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĠAssert s Ġthat Ġa Ġfresh Copy Ġwith ĠScope Ġof Ġan ĠConstant Ġis Ġthe ĠConstant Ġitself Ġ*/ ĊĠĠĠ Ġinternal Ġfun Ġassert Fresh CopyWith Scope Is It self ( constant : ĠConstant ) Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Equal ities ( constant , Ġconstant . fresh Copy ( Scope . empty ())) ĊĠĠĠĠĠĠĠ ĠassertSame ( constant , Ġconstant . fresh Copy ( Scope . empty ())) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĠAssert Ġthat Ġapply Ġcalled Ġ( in Ġits Ġvariants ) Ġon Ġa ĠConstant Ġis Ġthe ĠConstant Ġitself Ġ*/ ĊĠĠĠ Ġinternal Ġfun Ġassert Apply ing Substitution Is It self ( constant : ĠConstant ) Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Equal ities ( constant , Ġconstant . apply ( Substitution . empty ())) ĊĠĠĠĠĠĠĠ ĠassertSame ( constant , Ġconstant . apply ( Substitution . empty ())) ĊĊĠĠĠĠĠĠĠ Ġassert Equal ities ( constant , Ġconstant . apply ( Substitution . empty (), ĠSubst itution . empty ())) ĊĠĠĠĠĠĠĠ ĠassertSame ( constant , Ġconstant . apply ( Substitution . empty (), ĠSubst itution . empty ())) ĊĊĠĠĠĠĠĠĠ Ġassert Equal ities ( constant , Ġconstant [ Substitution . empty ()]) ĊĠĠĠĠĠĠĠ ĠassertSame ( constant , Ġconstant [ Substitution . empty ()]) ĊĠĠĠ Ġ} Ċ } Ċ