Added comment about a bug
Preserving term layout. TODO: fix bug same_term(c,a),d,(b   )   .