With partial epsilon checking