Full Abstraction for Lambda Calculus with Resources and Convergence Testing