Function encode_system 

pub fn encode_system(system: &ConstraintSystem, mode: QueryMode) -> String

Generate SMT-LIB2 encoding of a constraint system.

Returns the complete SMT-LIB2 script as a string.