hum, the lookupRuleParameterization can return either Full or Failure, so I guess this case is never used