package Ġcom . github . pro log db . runtime . term Ċ Ċ import Ġcom . github . pro log db . runtime . Random Variable Scope Ċ import Ġcom . github . pro log db . runtime . un ification . Un ification Ċ import Ġcom . github . pro log db . runtime . un ification . Variable Bucket Ċ Ċ object ĠAn onymous Variable Ġ: ĠVariable ("_ ") Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġun ify ( rhs : ĠTerm , Ġrandom Vars Scope : ĠRandom Variable Scope ): ĠUn ification Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġrandom Var Ġ= Ġrandom Vars Scope . createNew Random Variable () ĊĠĠĠĠĠĠĠ Ġval Ġbucket Ġ= ĠVariable Bucket () ĊĠĠĠĠĠĠĠ Ġbucket . instantiate ( random Var , Ġrhs ) ĊĠĠĠĠĠĠĠ Ġreturn ĠUn ification ( bucket ) ĊĠĠĠ Ġ} Ċ }