A parallelizable approach for mining likely invariants