solving the correct but useless statement problem initially r313 wanted to...

solving the correct but useless statement problem initially r313 wanted to solve by not letting equivalent premises in respect to image and product transformations on first subterm level to be selected