pattern expansion should be working in all the cases