[tasks]
check_top compositional
check_subm compositional
monolithic
monolithic: default

[options]
mode prove

[engines]
smtbmc

[script]
monolithic: 
read -sv cyclic_wrong.sv
prep -top cyclic
compositional: 
read -define AG=1
read -sv cyclic_wrong.sv
--
check_top:
cutpoint subm/y
prep -top cyclic
--
check_subm:
prep -top subm
--

[files]
acyclic_wrong.sv