This predicate is normally called by the compiler to perform
preprocessing using goal_expansion/2.
The predicate computes a fixed-point by applying transformations until
there are no more changes. If optimisation is enabled (see -O
simplifies the result by removing unneeded calls to true/0
as well as unreachable branches.