Changed sequencify call

Note: Maybe I need to change SOP such that Parallel(o1, o2) ==
Parallel(o2, o1)…