Fixed wrong test goal construction for nested concatenation/alternative coverage patterns