Change MaybeProductions to AST