# "cbit-05.prsimrc"
# copy-modified from "cbit-04.prsimrc"
# @haco@ cbit.haco-a
# testing some weak rules

# mode
weak-rules off
# by default
watchall
watchall-queue

set wl 0
step-event
assertn-queue

set p.f 1
step-event
queue
assertn-queue

