replaced c2s + boogie by dbseq.rb call