Const
Translate terms to be of some graph
algebraContext
algebra operation to translate
that should be assigned to the triples in algOp
used for replacing shadowed variables.
Translate terms to be of some graph