Potential bugs: Adds in the base Sheet of Assignment "SA" when iterating the premises for some reason, in the debugging line where it prints out the new tree with the negated goal inserted -> it prints out extra stuff -> not sure where that comes from
Should generate the correct setup tree to be used