Remove trailing whitespace in set_relationScript.
Remove duplicate copy of acyclic_WF theorem from set_relationScript.