expanding Source.grammar to include information about all sources up to (and including) Smt