Fast Methods For Testing Quantified Relational Calculus Assertions, Rep. TR-24-82