Instant Contract Analysis