@Override
public Set<AbstractState> post(AbstractState state, CFAEdge edge,
Precision precision) {
if (edge.getTransformer() instanceof RTLAssume) {
RTLAssume assume = (RTLAssume)edge.getTransformer();
if (assume.getSource() != null) {
AbstractState post;
switch (assume.getSource().getType()) {
case CALL:
callSites.add(Pair.create(edge.getSource(), edge.getTarget()));
callees.add(edge.getTarget());
post = new ProcedureState(new FastSet<Location>(edge.getTarget()));
return Collections.singleton(post);