Moved vars to the main api section
Started using double-check for property based testing. Very initial version