testcase where tarval problems manifestated