checking.pl:   transform_body(Formula, Transformed, _),
compiler.pl:   transform_body(Goal, TransformedBody, FreeVars),
compiler.pl:   transform_body(Goal, TransformedBody, FreeVars),
compiler.pl:   transform_body(HeadAtom, TrdHeadAtom, _),
compiler.pl:   transform_body(Body, TransformedBody, _),
transform.pl: * transform_body(Formula?, Transformed^, FreeVariables^)
transform.pl:transform_body(Formula, Transformed, FreeVars) :-
transform.pl:	transform_body(Formula, [], Index, _, Transformed, FreeVars), !.
transform.pl:transform_body('MetaDefs.Empty.C0', _, VarNo, VarNo, 'MetaDefs.Empty.C0', []).
transform.pl:transform_body('MetaDefs.PAtom.F1'(Name), _, VarNo, VarNo
transform.pl:transform_body('MetaDefs.Atom.F2'(Predicate, ArgList),
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.Atom.F2'(Predicate, ArgList))
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.PAtom.F1'(Proposition))
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.~''.F1'(Formula)),
transform.pl:	transform_body(Formula, VarDict, VarNo,
transform.pl:transform_body('MetaDefs.Some.F2'(BoundVars, Formula), /* Some */
transform.pl:	transform_body(Formula, VarDict1, VarNo1,
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.Some.F2'(BoundVars, Formula)),
transform.pl:        transform_body(Formula, VarDict1, VarNo1,
transform.pl:transform_body('MetaDefs.&''.F2'(Formula1, Formula2),
transform.pl:	transform_body(Formula1, VarDict, VarNo,
transform.pl:	transform_body(Formula2, VarDict, VarNo1,
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.&''.F2'(Formula1, Formula2)),
transform.pl:	transform_body('MetaDefs.~''.F1'(Formula1), VarDict, VarNo,
transform.pl:	transform_body('MetaDefs.~''.F1'(Formula2), VarDict, VarNo1,
transform.pl:transform_body('MetaDefs.\\/''.F2'(Formula1, Formula2),   % added \ djd
transform.pl:	transform_body(Formula1, VarDict, VarNo,
transform.pl:	transform_body(Formula2, VarDict, VarNo1,
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.\\/''.F2'(Formula1, Formula2)),   % added \ djd
transform.pl:	transform_body('MetaDefs.~''.F1'(Formula1), VarDict, VarNo,
transform.pl:	transform_body('MetaDefs.~''.F1'(Formula2), VarDict, VarNo1,
transform.pl:transform_body('MetaDefs.->''.F2'(Formula1, Formula2),
transform.pl:	transform_body('MetaDefs.~''.F1'(Formula1), VarDict, VarNo,
transform.pl:	transform_body(Formula2, VarDict, VarNo1,
transform.pl:transform_body('MetaDefs.<-''.F2'(Formula1, Formula2),
transform.pl:	transform_body('MetaDefs.~''.F1'(Formula2), VarDict, VarNo,
transform.pl:	transform_body(Formula1, VarDict, VarNo1,
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.->''.F2'(Formula1, Formula2)),
transform.pl:	transform_body(Formula1, VarDict, VarNo,
transform.pl:	transform_body('MetaDefs.~''.F1'(Formula2), VarDict, VarNo1,
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.<-''.F2'(Formula1, Formula2)),
transform.pl:	transform_body(Formula2, VarDict, VarNo,
transform.pl:	transform_body('MetaDefs.~''.F1'(Formula1), VarDict, VarNo1,
transform.pl:transform_body('MetaDefs.<->''.F2'(Formula1, Formula2),
transform.pl:        transform_body('MetaDefs.->''.F2'(Formula1, Formula2), VarDict, VarNo,
transform.pl:        transform_body('MetaDefs.<-''.F2'(Formula1, Formula2), VarDict, VarNo1,
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.<->''.F2'(Formula1, Formula2)),
transform.pl:        transform_body('MetaDefs.~''.F1'('MetaDefs.->''.F2'(Formula1, Formula2)),
transform.pl:        transform_body('MetaDefs.~''.F1'('MetaDefs.<-''.F2'(Formula1, Formula2)),
transform.pl:transform_body('MetaDefs.All.F2'(BoundVars, Formula), /* All */
transform.pl:   transform_body('MetaDefs.~''.F1'('MetaDefs.Some.F2'(BoundVars
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.All.F2'(BoundVars, Formula)),
transform.pl:   transform_body('MetaDefs.Some.F2'(BoundVars, 'MetaDefs.~''.F1'(Formula))
transform.pl:transform_body('MetaDefs.Commit.F2'(Label, Formula),
transform.pl:   transform_body(Formula, VarDict, VarNo, NewVarNo, NewFormula, FreeVars).
transform.pl:transform_body('MetaDefs.ISTE.F4'(BoundVars, Cond, Then, Else),
transform.pl:	transform_body(Cond, VarDict1, VarNo1, VarNo2, NewCond, FreeInCond),
transform.pl:	transform_body(Then, VarDict1, VarNo2, VarNo3, NewThen, FreeInThen),
transform.pl:        transform_body(Else, VarDict, VarNo3, NewVarNo, NewElse, FreeInElse),
transform.pl:transform_body('MetaDefs.IST.F3'(BoundVars, Cond, Then),
transform.pl:	transform_body(Cond, VarDict1, VarNo1, VarNo2, NewCond, FreeInCond),
transform.pl:	transform_body(Then, VarDict1, VarNo2, NewVarNo, NewThen, FreeInThen),
transform.pl:transform_body('MetaDefs.ITE.F3'(Cond, Then, Else),
transform.pl:	transform_body(Cond, VarDict, VarNo, VarNo1, NewCond, FreeInCond),
transform.pl:	transform_body(Then, VarDict, VarNo1, VarNo2, NewThen, FreeInThen),
transform.pl:        transform_body(Else, VarDict, VarNo2, NewVarNo, NewElse, FreeInElse),
transform.pl:transform_body('MetaDefs.IT.F2'(Cond, Then),
transform.pl:	transform_body(Cond, VarDict, VarNo, VarNo1, NewCond, FreeInCond),
transform.pl:	transform_body(Then, VarDict, VarNo1, NewVarNo, NewThen, FreeInThen),
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.ISTE.F4'(BoundVars, Cond, Then, Else)),
transform.pl:	transform_body(Cond, VarDict1, VarNo1, VarNo2, NewCond, FreeInCond),
transform.pl:	transform_body(Then, VarDict1, VarNo2, VarNo3, NewThen, FreeInThen),
transform.pl:        transform_body(Else, VarDict, VarNo3, NewVarNo, NewElse, FreeInElse),
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.IST.F3'(BoundVars, Cond, Then)),
transform.pl:	transform_body(Cond, VarDict1, VarNo1, VarNo2, NewCond, FreeInCond),
transform.pl:	transform_body(Then, VarDict1, VarNo2, NewVarNo, NewThen, FreeInThen),
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.ITE.F3'(Cond, Then, Else)),
transform.pl:	transform_body(Cond, VarDict, VarNo, VarNo1, NewCond, FreeInCond),
transform.pl:	transform_body('MetaDefs.~''.F1'(Then), VarDict, VarNo1, VarNo2
transform.pl:        transform_body('MetaDefs.~''.F1'(Else), VarDict, VarNo2, NewVarNo
transform.pl:transform_body('MetaDefs.~''.F1'('MetaDefs.IT.F2'(Cond, Then)),
transform.pl:	transform_body(Cond, VarDict, VarNo, VarNo1, NewCond, FreeInCond),
transform.pl:	transform_body('MetaDefs.~''.F1'(Then), VarDict, VarNo1, NewVarNo
transform.pl:   transform_body(Formula, NewVarDict, VarNo2, NewVarNo, NewFormula
