Useless temporary variable
Implement populateChoiceResolution as dispatch methods
Implement findBinding as dispatch methods
Implement evaluateHasChoiceExpression as dispatch methods
Implement executeDerivation as dispatch methods