Consider the following snippet:
do_stuff() -> % assume each of BoundVarI is bound here BoundVar1 = term1(), BoundVar2 = term2(), % ...