Finalized stream I/O for Constraint.