Fixed pylint problems.  Created first draft of @test backward inference.