Documentation on the BLESS verification language