System Description: RDL Rewrite and Decision procedure Laboratory