lib/codegen/CreateTerm.cpp
std::pair<llvm::Value *, bool> CreateTerm::operator()(KOREPattern *pattern) {
  populateStaticSet(pattern);

  return createAllocation(pattern);
}
// returns a value and a boolean indicating whether that value could be an
// injection
returns a value and a boolean indicating whether that value could be an
injection
returns a value and a boolean indicating whether that value could be an injection
std::pair<llvm::Value *, bool> CreateTerm::operator()(KOREPattern *pattern) {
  populateStaticSet(pattern);
  return createAllocation(pattern);
}
std :: pair < llvm :: Value * , bool > CreateTerm :: operator () ( KOREPattern * pattern ) { populateStaticSet ( pattern ) ; return createAllocation ( pattern ) ; }
returns a value and a boolean indicating whether that value could be an
injection
returns a value and a boolean indicating whether that value could be an injection