getPointsTo method
Gets all heap objects that a variable may point to.
Implementation
Set<String> getPointsTo(int varId) {
final results = _engine.query('VarPointsTo');
return results
.where((tuple) => tuple[0] == varId)
.map((tuple) => tuple[1] as String)
.toSet();
}