example: lambda, that print reduction of random lambda-terms using PrintBox