Predicate PreSsa::firstReadSameVar

predicate firstReadSameVar(Definition def, AssignableRead read)