Updated to new symbol size
Update to set lists
Removed analyzer's received premises
Switch to numbered variable protocol
Add forall code