Module Goblint_lib.SingleThreadedLifter

This lifter takes an analysis that only works for single-threaded code and allows it to run on multi-threaded programs by returning top when the code might be multi-threaded.