am working out control paths for the various functions. am trying to decide how to manage uncertainty in terms of ambiguous parts of the grammar such as 'Expr'