[POPL Concurrent] Added pascalfc barrier problem