Fixed a bug in with-clause call-attributes #125

if c1 and c2 is a syn of type call, with c1.procName = c2.stmt# is now
invalid