Basic data constructor match test
Evaluate correct branch only in match test
Tests for match cases with guards