Added BDDfy/AutoSubstitute tests and converted Franck Theolade's IWebElement tests into that format as examples