Added SOPForm. SOP expressions are now generated and properly displayed on the preliminary SOP form