Did you know ... Search Documentation:
Predicate ubody/5
 ubody(+Read, +Decompiled, +Module, +TermPosRead, -TermPosForDecompiled)[private]
Arguments:
Read- Clause read after expand_term/2
Decompiled- Decompiled clause
Module- Load module
TermPosRead- Sub-term positions of source