LARSA Verification Problems