Predicate Base::simple_points_to

Points-to for syntactic elements where context is not relevant

predicate simple_points_to(ControlFlowNode f, Object value, ClassObject cls, ControlFlowNode origin)