}
}
}
private void check(TACInstruction instr, ASTNode node) {
AliasContext triggerAliases = fa.getPointsToResultsIntermediate(node);
RelationshipContext rels = fa.getRelResultsBefore(node);
BooleanContext bools = new BooleanConstantWrapper(node, fa.getBooleanAnalysis(), triggerAliases);
FusionEnvironment<?> triggerEnv = new FusionEnvironment<AliasContext>(triggerAliases, rels , bools, fa.getHierarchy(), fa.getInfers(), fa.getVariant());
if (rels.isBottom()) {