void TraceBuilder::constrainLocal(uint32_t locId, DataTypeCategory cat, const std::string& why) { constrainLocal(locId, localValueSource(locId), cat, why); }
bool TraceBuilder::constrainLocal(uint32_t locId, TypeConstraint tc, const std::string& why) { return constrainLocal(locId, localValueSource(locId), tc, why); }
void TraceBuilder::constrainLocal(uint32_t locId, DataTypeCategory cat) { constrainLocal(locId, localValueSource(locId), cat); }