pub fn check_logic_loops(uut: &dyn Block) -> Result<(), CheckError>