levels renaming, and adding, don't create wrong statements in STM when used.
Merge origin/prolog1 into prolog1