CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript).