Add read-only `prolog_conformance` flag