f(by) 2020: Automatic White Box Testing With Free Monads, Alexander Granin