Fast best-effort pattern matching in large attributed graphs | Synapse