factor code using paramorphism over sequents