docstr: synth.sys_to_spec
rm redundant import
new functions in synth: _disj, _conj_neg, _conj_intersection, _conj_neg_diff