Simlified build
Simplify property based testing
Working on stack DBC test