Renamed Seq to Collect in AST