runtime verification on Javascript