instantiate

Synopsis: instantiate formula=<TERM> var=<STRING> occ=<INT> with=<TERM>

Arguments: