Changed substitutableSubpattern.substituteInto() so that now it recognises {,} as a repetition operator as well; to be conservative