Dafni, GRC Spark™ Lightning