modify projection constant
removed unused friend-remembering productions
don't do separate rule for re-searching