WyC: Fixed bug in FlowTypeChecker.resolveAsConstant()