added new .how and .json files

specifically for jsOracleWithElements-run1