getting an error in the verifier
the verifier now generates vcs involving duration (probably not the right vc, but it doesn't crash while doing it)