       if instanceContraints
         toNormalize.push instanceContraints...
       else
-        console.log constraint
         return error: instanceLookupFailed constraint
       after = subLimit ctx.substitution
       # There was a functional dependency, renormalize

  """
  '3', 3

  # TODO: support matching with the same name
  #       to implement this we need the iife to take as arguments all variables
  #       with the same names, since JavaScript shadows it too strongly and

    translation = map compileVariableAssignment, (join translationCache, assigns)
    translation.usedNames = ctx.usedNames()
    translation.definedNames = (name for {name} in ctx.definedNames())
    ctx.setUsedNames []
    translation
  else
    if ctx.isAtBareDefinition() and expression.tea
