Minor bug fix
An even more efficient way than defer the call to fix_tubtermpos/1, is to call it after the expansion, only to the affected subterm position.
Implemented option fixpoint/1, to apply a refactoring rule recursivelly until no changes be introduced.
Reorganized tests, and simplified fix_subtermpos.pl, now comments are included in bounds only if required