Did you know ... Search Documentation:
Predicate clean_body/2
 clean_body(+Goal0, -Goal) is det[private]
Remove redundant true from Goal0.