barrier: strive for consistency between barrierGF and the inGF assumptions; also change some instance names
Attach a file by drag & drop or click to upload
Ralf Jung authored