ADINA Verification Problems