source init.tcl
ccs_read "test-andor.ccs"

pa_encode_process "AND-000"
pa_encode_process "OR-000"
pa_encode_process "AND-0000"
pa_encode_process "OR-0000"
versis_strong_equivalence 0 AND-000 0 AND3
versis_strong_equivalence 0 OR-000 0 OR3
versis_strong_equivalence 0 AND-0000 0 AND4
versis_strong_equivalence 0 OR-0000 0 OR4
