Minor AST specification super-type bug-fix.
Minor AST specification super-type bug-fix.

2bt/racr,otherwiseopen/racr,2bt/racr,2bt/racr,otherwiseopen/racr,otherwiseopen/racr,2bt/racr,christoff-buerger/racr,2bt/racr,christoff-buerger/racr,otherwiseopen/racr,otherwiseopen/racr,christoff-buerger/racr,2bt/racr,otherwiseopen/racr